Eecient Derivation of Exact S-expanded Symbolic Expressions for Behavioral Modeling of Analog Circuits

|This paper presents an eecient method for deriving exact s-expanded symbolic expressions for behavioral modeling of analog circuits. The key idea is to introduce a graph-based representation called multi-root Determinant Decision Diagram (DDD), where each root represents the symbolic coeecient of a particular power of s. By exploiting sharing and sparsity, a huge number of symbolic product terms can be compactly represented and eeciently manipulated. Experimental results have demonstrated that this method can produce the exact s-expanded-symbolic transfer function for A741 opamps in several CPU seconds on a UltraSparc-I workstation, and the use of generated symbolic expression for frequency-domain simulation achieved a speedup of about 50 over SPICE3F5.